#! /bin/csh -f
setenv HTTPD `cat /tmp/livestream/httpd.pid` >& /dev/null
kill -9 $HTTPD >& /dev/null
rm -fr /tmp/livestream >& /dev/null
